Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
931	Claudio Vittorio Russo UK Address: Nationality: 3F1 12 Dryden Street Date of Birth: Edinburgh, EH7 4PN Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-06-03 18:41:49 Logic in computer science Functional languages Procedural programming languages Programming paradigms Type theory Denotational semantics ML Programming language Common Object Request Broker Architecture Software engineering Computing Theoretical computer science
932	The LLVM Instruction Set and Compilation Strategy Chris Lattner Vikram Adve University of Illinois at Urbana-Champaign lattner,vadve @cs.uiuc.edu Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Programming language implementation Compiler construction Data types Type theory Compilers LLVM Pointer Compiler optimization Compiler Software engineering Computing Computer programming
933	Memphis Language Reference Manual This document specifies Memphis, an extension of C/C++ [1, 2], that supports the definition and processing of symbolic data such as abstract syntax trees in compilers. Memphis provides a Add to Reading List Source URL: memphis.compilertools.net Language: English - Date: 2006-03-28 08:30:40 Procedural programming languages Type theory Standard ML Conditional Pattern matching ALGOL 68 Hindley–Milner Forward declaration C syntax Software engineering Programming language theory Computing
934	How to Use the WRF Registry John Michalakes, NCEP Dave Gill, NCAR WRF Software Architecture Working Group Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2015-02-04 17:11:21 Procedural programming languages Data types C programming language C++ C Cross-platform software Array data type Typedef Windows Registry Software engineering Computing Programming language theory
935	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-11 13:47:43 Functional languages Procedural programming languages Cross-platform software Lisp programming language Type theory Scheme Lisp Scope Free variables and bound variables Software engineering Computing Computer programming
936	Predicting Properties of Specialized Programs PhD Proposal Karoline Malmkjær November 20, 1991 c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Computability theory Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Eval ALGOL 68 Lambda calculus Type system Software engineering Computing Computer programming
937	BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Applied mathematics Normalisation by evaluation Combinatory logic Church encoding Type theory Fixed-point combinator Lambda calculus Theoretical computer science Mathematical logic
938	A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Sweden andreas. Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
939	姝 Academy of Management Executive, 2004, Vol. 18, No. 4 ................................................................................................................................................................. Add to Reading List Source URL: cte.rockhurst.edu Language: English Cognition Intuition Decision theory Feeling Attitude Decision making Rational choice theory Schema Personality type Mind Knowledge Epistemology
940	REVIVE2SURVIVE PRE-COURSE ANAPHYLAXIS ASSESSMENT Thank you for enrolling in a Revive2Survive Anaphylaxis training course. Please see instructions below for completion of the theory assessment: 1. Read the online course Add to Reading List Source URL: www.revive2survive.com.au Language: English - Date: 2015-04-22 23:40:53 First aid Respiratory diseases Immunology Type 1 hypersensitivity Anaphylaxis Allergy Bee sting Urticaria Epinephrine autoinjector Medicine Health Allergology

UPDATE